ISBN
.nu
search for books and compare prices
Words in title
Author
ISBN
Search
Advanced search
displaying 1 to 1 | at end
Supratik Mukhopadhyay
(2)
Works include:
Verification, Model Checking, and Abstract Interpretation: 4th International Conference, Vmcai 2003, New York, Ny, Usa, January 2003 : Proceedings
displaying 1 to 1 | at end